and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
51	Independence and Concurrent Separation Logic Jonathan Hayman joint work with Glynn Winskel Computer Laboratory University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-09 07:12:42 Diagrams Petri net Software engineering Computer science Logic in computer science Postcondition Logic programming Constructible universe Theoretical computer science Models of computation Concurrency
52	Common Subexpression Elimination in Automated Constraint Modelling Ian P. Gent and Ian Miguel and Andrea Rendl1 Abstract. Typically, there are many alternative models of a given problem as a constraint satisfaction probl Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:26 Computing Constraint satisfaction Local consistency Common subexpression elimination Constraint algorithm Constraint logic programming Constraint programming Software engineering Computer programming
53	CAPIR: Collaborative Action Planning with Intention Recognition Truong-Huy Dinh Nguyen and David Hsu and Wee-Sun Lee and Tze-Yun Leong Department of Computer Science, National University of Singapore, Singapore, S Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-05-19 20:59:31 Stochastic control Markov models Artificial intelligence Action selection Markov decision process Reinforcement learning Ghostbusters Decision theory Markov chain Statistics Markov processes Dynamic programming
54	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
55	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
56	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory
57	Tailoring Solver-independent Constraint Models: A Case Study with Essence0 and Minion Ian P. Gent, Ian Miguel and Andrea Rendl School of Computer Science, University of St Andrews, UK {ipg, ianm, andrea} @cs.st-andrews.a Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:54 Artificial intelligence Minion Applied mathematics Local consistency PROPT Constraint programming Computing Constraint satisfaction
58	Domain-Specific Software Component Models Kung-Kiu Lau and Faris M. Taweel School of Computer Science , The University of Manchester Manchester M13 9PL, United Kingdom {Kung-Kiu,Faris.Taweel}@cs.manchester.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2009-05-11 09:42:53 Object-oriented programming Software development Data model Component-based software engineering Decomposition Domain-specific language SIGNAL D-subminiature Control theory Software engineering Systems engineering Computing
59	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: www.cypherpunks.to Language: English - Date: 2008-03-14 04:27:53 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
60	Unifying Cluster-Tree Decompositions for Reasoning in Graphical models∗ Kalev Kask∗ , Rina Dechter∗ , Javier Larrosa∗∗ and Avi Dechter∗∗∗ ∗ Bren School of Information and Computer Science, Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2005-04-17 02:08:23 Constraint graph Tree decomposition Bayesian network Graphical model Constraint satisfaction Directed acyclic graph Graph Local consistency Complexity of constraint satisfaction Graph theory Constraint programming Decomposition method

UPDATE